Some (in)translatability results for normal logic programs and propositional theories