add procedure,goal and global rules