add Procedure.scala