Added tests; more robust heuristics for doing a backward conform