Check input types in Formula `__init__`
Remove wrong test get_parent_non_literal