coplanarity_smt_haupt