fullrecon: implemented recon([:Let,...