solve inconsistency at Natrans