Throws Unsupported exception when undecidable call is encountered