make-app rule uses equivalence algorithm