rej14: Run certain forward analysis

 * Fix missing fs label
 * Add formula variables
 * Add input properties and encoding