FSF/Interleaf style clash detection