resolve aliases before checking decidability
add todo
fix #570 interface circularity detection with aliases