Mark tests for struct prop arity and checked_procedure_check_and_extract as
failing for now
Proper handing of calls breaks these functions