Colligens semantic bugs view