Program analysis framework for a toy language - Lingo