Add linear specs to program definition