static L trueStatementsByHead(S head) { ret filterByHead(head, parsedTrueStatements_cached()); }