changed dpr epsilon to 1E-4 (*much* faster)
bugfix: LoadCompoenents (prove.Compoenent) will not return an array with null componennts. This would cause a subtle bug in LogicProgram's lpOutlinks