Class AST.Requires