Remove duplicated clause in the compiler code for translating body goals