remove argument sections and merge with preconditions