A Sufficient Condition for Backtrack-Free Search | Synapse