debug messages and minor improvement stp-single checking goal