IDE case issues
Final touches on formal perspective tool