Functional: add function call and array subscript to placeholders
Core: add is_a and instantiates