refine domain
add the main program