Fix buggy isomorphism checking for partial equations.