========================= Simple Instantiation ========================= bool() main; --- (p4program (instantiation (typeRef (baseType (bool) ) ) (identifier) ) )