rewrite rules: analysis: Variables from params, refer to variables and refer to relations