Function check_precondition 

pub fn check_precondition(
    pre: &Precondition,
    state: &StateStore,
) -> Option<String>

Check a single precondition against state.