adds requires and statements