yne - Tactic order does not contain enough information