now postconditions are allowed to have more atoms than their matching goals