法院已终结执行程序，原查封的房子是否可以自动解封。